/*
 * MJ6000 os provided functions
 */


#ifndef __MJ6000_OS__
#define __MJ6000_OS__

#include "../../../../../Include/OsUser.h"

/************  To be implemented in user program  **************/
int os_stdin_read(char *buf, int nbyte);
int os_stdin_getline(char *buf, int maxbyte);
int os_stdout_write(char *buf, int nbyte);
int os_stderr_write(char *buf, int nbyte);

#endif

